* admin/automerge: Speed up check phase.

diff --git a/admin/automerge b/admin/automerge
index 18f8c759ebc13bade8d8099810c56cbb1c667456..76c1596f3fa00ce1f5a3d795278566159ade6e3d 100755 (executable)
--- a/admin/automerge
+++ b/admin/automerge
@@ -213,7 +213,8 @@ echo "Build finished ok"
 
 echo "Testing..."
 
-make "$@" check || die "check error"
+## We just want a fast pass/fail, we don't want to debug.
+make "$@" check TEST_LOAD_EL=no || die "check error"
 
 echo "Tests finished ok"